Declarative Agent Control
نویسندگان
چکیده
In this work, we extend the architecture of agents (and robots) based upon fixed, one-size-fits-all cycles of operation, by providing a framework of declarative specification of agent control. Control is given in terms of cycle theories, which define in a declarative way the possible alternative behaviours of agents, depending on the particular circumstances of the (perceived) external environment in which they are situated, on the internal state of the agents at the time of operation, and on the agents’ behavioural profile. This form of control is adopted by the KGP model of agency and has been successfully implemented in the PROSOCS platform. We also show how, via cycle theories, we can formally verify properties of agents’ behaviour, focusing on the concrete property of agents’ interruptibility. Finally, we give some examples to show how different cycle theories give rise to different, heterogeneous agents’ behaviours.
منابع مشابه
Constructing and Dynamically Maintaining Perspective-based Agent Models for Command and Control Applications in a Multi-Agent Environment
This paper describes a model that explicitly represents the declarative and behavioral knowledge of a goaldriven agent. The developed declarative and the behavioral models allow an agent to reason about itself, other agents, and the environment. The declarative model specifies data and services (capabilities) assigned to an agent while the behavioral model specifies the execution model of an ag...
متن کاملDeclarative Abstractions for Agent Based Hybrid Control Systems
Modern control systems are limited in their ability to react flexibly and autonomously to changing situations by the complexity inherent in analysing environments where many variables are present. We aim to use an agent approach to help alleviate this problem and are particularly interested in the control of satellite systems using BDI agent programming as pioneered by the PRS. Such systems nee...
متن کاملOnline Agent Logic Programming with oClingo
The online answer set solver oClingo offers a powerful new technique for uniting the speed of Answer Set Programming (ASP) with dynamic events. The price of this power is paid by increased constraints on the construction of a ‘safe’ program—one that satisfies an arcane modularity condition. We provide an alternative in the form of so-called Agent Logic Programs—a concise declarative language fo...
متن کاملUsing Jason to Develop Declarative Prototypes of Automated Negotiations
We propose a declarative approach for prototyping automated negotiations in multi-agent systems. Our approach is demonstrated by using Jason agent programming language to describe English and Dutch auctions.
متن کامل